(texinfodir): Rename from usermanualdir, and update.
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 02:48:13 +0000 (02:48 +0000)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 02:48:13 +0000 (02:48 +0000)
commit950c2edf290a6d74112a2cf22ffa5185e34c1c0c
treeeea1356927c3a4021b5f5ed84ab2a60e1f0edf7b
parent5dd7fb45c8f320aaf08e216efd15c38206001246
(texinfodir): Rename from usermanualdir, and update.
doc/lispintro/ChangeLog
doc/lispintro/Makefile.in